l'hai già ottenuto a.out è il nome di default che gcc da agli eseguibili che compila. se vuoi che l'eseguibile prodotto abbia un nome diverso devi specificare l'opzione "o" di gcc, per esempio:
codice:
gcc -o ciao ciao.c
produce in output un eseguibile che si chiama ciao