Make sbcl work on mac and linux