sync with official SBCL contrib