Como podemos ver, al especificar el codice_8 en el fichero de configuración, gnatdist ha generado un enlace simbólico al ejecutable que va a lanzar los demás.