The new version of SBCL supports AMD64 starting from version 2.3.7, which will also assist with the Maxima package and other packages that use this compiler. Reproducible: Always