Bug fix in SBCL version number detection