Clone of git clone git://git.code.sf.net/p/sbcl/sbcl with modifications that will soon become pull requests