Try to fix build with GHC 7.4