HEAD now requires GHC >= 7.0 to bootstrap