Try to fix build on GHC 7.8