Update SBCL to 1.2.5