some patches for gnat tools