Para instalarem o GCC versão 4.7.2, devem executar os seguintes passos:
     - Acessar o endereço: "http://sourceforge.net/projects/mingwbuilds/files/host-windows/releases/4.7.2/32-bit/threads-win32/dwarf/
     - Baixar o arquivo "x32-4.7.2-release-win32-dwarf-rev11" data de modificação 2013/03/16";
     - Descompactar o arquivo baixado em um diretório qualquer. 
	   Exemplo: "c:\ProgramasInstalados\GCC 4.7.2"
           
     - OBSERVAÇÃO: uma vez descompactado, o GCC já estará instalado.

     - Configurar a variável de ambiente PATH dos usuários. É preciso que adicionem a ela o caminho para 
	  dois diretórios para que possa ser executado via prompt de comando diretamento pelos alunos 
	  (PS.: estou assumindo que instalaram no diretório que indiquei "c:\ProgramasInstalados\GCC 4.7.2"):
      path=%path%;"C:\ProgramasInstalados\GCC 4.7.2\bin;c:\ProgramasInstalados\GCC 4.7.2\i686-w64-mingw32\bin"