Fix build for GHC 7.8