Modified gnat.install.do