make ghc 7.6.3 happy