Patch for building on older ghc