Try to fix build for ghc-7.4.