fixed windows install: source_permissions and ports.txt and tomcat-users-xml replace=false