Pero es en general más cómodo nombrar los archivos ejecutables a partir de los archivos fuente de los que vienen.