allow ghc-7.4