Patch from Peter De Wachter to improve the SBCL version detection