make things work for ghc-7.4