gringo: fix build on pre-10.9 clang
gringo: upstream patch to build on FSF GCCs