Eu recomendaria a instalação do pacote oficial, é muito mais fácil começar.
Certifique-se de definir corretamente seu http_proxy
e https_proxy
na sessão de terminal e faça o que for mencionado no tutorial novamente.
Eu também estou por trás do firewall (preciso de proxy para acessar a Internet), tudo funciona bem.
Exemplo:
export http_proxy="http://username:[email protected]:port/"
export https_proxy="http://username:[email protected]:port/"
E você também pode usar o apt-get install para instalar o MongoDB