Solucionado
Caro, não parece ser vírus. Os arquivos foram enviados por pessoas autorizadas pela Alura. Se você mesmo assim desconfiar, pode compilar por conta própria os arquivos de código fonte (.c).