Updated GNAT project files for GNAT GPL 2013.