post_upgrade() {
	echo "The launcher binary is renamed as 'felix', alias fx='felix' if you were using 'fx'"
}
