Minor changes in build.xml inserted from official repository.