Changing build.xml slightly