# another build.xml fix