Another attempt to fix ghc 7.2.2 build