cambios en el build.xml.dist

estos cambios lo deben hacer para cada build en sus maquinas porq si no
no funciona