GHC patch for Gen2 (added here so that we can download it when building with vagrant)