a tool for downloading the Gulflink library from the Office of the Secretary of Defense