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