Another build fix for older GHC