Fix build with ghc 7.8