gringo: bump to 4.2.1