[Bug 1188873] maxima sbcl backend won't run due to mismatch