Correct typo in build command

Also add a new default path for gnatmake.