cabal-install-1.20.0.4: patch the build manually instead of relying on jailbreak

jailbreak-cabal has trouble with that cabal file when built with older versions
of the Cabal library.