[Hackage] #628: Greencard files are processed incorrectly