fix building with ghc-7.6.2