r10268: add compatibility for sbcl-amd64