Se soluciona un problema con la instalacion en Debian 7.7 de 64 bits