removed SBCL-specific code