Specified platform for SBCL.