Use 

  Makefile.linux

para compilar na rede GNU/Linux do IME.