Updated the sbcl version to 1.2.5