la compilazione che hai fatto tu crea un file i nome a.out...
se invece vuoi dare un nome all'eseguibile scrivi
gcc nome.c -o destinazione
poi esegui con ./destinazione