Переустановите набор файлов deb на другой машине без повторной загрузки

По существу, a.out создается по умолчанию, потому что вы не указали имя для исполняемого файла. Попробуйте это вместо:

gcc HelloWorld.c -o HelloWorld

Как только вы это сделаете, вы сможете вызвать его (как предположил Сунил), предваряя «HelloWorld» точкой слэш (./):

./HelloWorld

Вот ссылка на статью, которая немного объясняет, почему создается a.out: Написание и компиляция C-программ в Linux.