Fix build with GHC 7.2