build_with_ghc-8.0.2.patch
