Eu notei que o Ubuntu não suportava o SpiderMonkey desde 10.04. Eu acho que pode ter algo a ver com a licença. Você pode me contar o motivo?