add gnat/bin to the path before run