Sim, encontrei a resposta no SOF: link
Quando executo o PHP 5.3.1 configure no meu diretório home, recebo a mensagem de erro:
configure: error: xml2-config not found. Please check your libxml2 installation.
Eu não tenho a senha de root nessa máquina, então eu consegui compilar a libxml2 apenas no diretório home - sem permissões para copiá-la para os diretórios do sistema.
Então, pelo que entendi, tenho duas opções:
Você poderia me dizer como fazer algum deles? Eu não tenho uma boa experiência com o Linux etc., então acredito que seja uma pergunta simples ...
BTW, é uma máquina Linux Debian 4.0.