to compile with GHC 7.6