make it compile with GHC 7.4