Simplify the SZS setup.
Cruft.