post_upgrade() {
	 echo "Run boot -u to update boot.jar"
}