update Gnat with backcomp