Minor changes to SBCL autodetection.