Para quem tentou rodar os executáveis do professor para o Linux (i.e. segmax-linux) e ficou sem uma resposta afetuosa da máquina, é provável que você esteja tentando executar os arquivos num sistema 64-bit, como o meu.
Para contornar o problema, basta instalar as bibliotecas de tempo de execução para arquitetura i386. No caso do Debian (e derivados), o pacote se chama "ia32-libs".
Em algumas distros, isso vem instalado por default. De qualquer forma, espero que ajude.