Removed unneeded -dno-debug-output from ghc-options
Removed -O2.

The benchmark differences between -O2 and the default
were so slight that it's not worth it.  (Measured with ghc 7.4.)