* Make buildable with ghc6 (default) and ghc5. Submitted by: Volker Stolz <stolz@i2.informatik.rwth-aachen.de>