nixpkgs/pkgs/tools/misc/gringo/gringo-4.5.4-cmath.patch