Actualizando el instalador para admitir debian 7 en 32 bits.