This is one way to fix ghc/ghc#23141. It's perhaps not the cleanest way to fix
it (see ghc/ghc#23141 (comment 488083)), but a
working build is better than a broken one.