Fix build with older GHC