fix-build-with-ghc-8.8
