sbcl: update to 1.2.3.