Name of the GNAT installation to use as configured in Jenkins.