64-bit patch for SBCL from Gabriel Ebner