Remove unused files and fix loading in SBCL 1.2.5