[Dúvida] Estou com dificuldade no procedimento de instalação de um compilador.

Bom dia, Alan! Tudo bem?

Não precisa se preocupar em encontrar esses arquivos. Os mesmos são apenas exemplos feitos pela pessoa que construiu esse artigo para demonstrar como, via terminal, você pode compilar e executar os seus arquivos .c ou .cpp. Logo, realmente teria como você ter eles no seu computador.

Para criá-los, abra algum editor de texto de sua preferência, por exemplo, o VScode, e crie um arquivo com um nome qualquer e com final .c e cole o seguinte código:

#include <stdio.h>

int main(){
    printf("Olá, mundo!")
}

Após isso, abra o terminal na pasta que está o arquivo .c e execute o seguinte comando para compilar o projeto:

gcc nome-do-arquivo.c 

Nessa parte de compilação, você pode fazer parecido com a do tutorial que você compartilhou, que é adicionar o comando -o que nomeia o arquivo .exe. Pois, por padrão ele sempre será criado como "a.exe", então você pode renomeá-lo dessa forma:

gcc nome-do-arquivo.c -o teste.exe

Por fim, para executá-lo, basta fazer como no tutorial:

./teste.exe

Sempre deve-se colocar um "./" antes do nome do arquivo, indicando que o arquivo está nessa pasta

Espero ter conseguido te ajudar esclarecendo suas dúvidas. E caso tenha mais perguntas ou problemas, estarei à disposição.

Grande abraço e bons estudos!