+# We don't try to be general about this in this script the way we are
+# in make.sh, since (1) we use our command line args as names of files
+# to recompile, and (2) the idiosyncrasies of SBCL command line
+# argument order dependence, the meaninglessness of duplicate --core
+# arguments, and the SBCL-vs-CMUCL dependence of --core/-core argument
+# syntax make it too messy to try deal with arbitrary SBCL commands.
+# So you have no choice:
+export SBCL_XC_HOST='sbcl --noprogrammer'