Fix build with ghc-7.8.1.