Name der zu verwendenden GNAT Installation wie in Jenkins konfiguriert.