drop both gprolog patches
less tex, same gprolog