ghc 7.4.2: Patch for Linuxbrew