Update 64-bit SBCL to 1.2.3