Make it compile with ghc 7.9 (git HEAD).