update gringo patch