A parte che se lo dai senza parametri dovrebbe crearti un file a.out, basta dare

$ gcc prova.c -o prova.bin (o qualsiasi altro nome)

Se non te lo fa eseguire (strano) cambiagli i permessi