Fix compilation with ghc 7.8.