fix gringo3 support