Added the -gnato option.
Added the -gnato option to the root makefile as well.