fix gringo patches