make it compile with ghc-7.4