slime: specified sbcl.core file location