Fix build with GHC <= 7.4