Add gringo patches.