Fix: install sbcl on debian.