SBCL is now a debian dependency.