1.0.31.10: run-sbcl.sh to support --core