Get working with SBCL 1.0.55

It wasn't working with SBCL 1.0.55.0.debian.

This seems to make it work.