fixing stuff for ghc-7.8.3, why are fewer tests being generated?!?!