1.0.13.32: fix run-sbcl.sh when sh != bash in disguise