gnat/bin path fix