Fix for building with GHC-7.8