Disable the sbcl-pprint-patch

Fixes issue #212.