el problema del tilde ya esta solucionado en pydio-core trunk.
asi que revierto los cambios.