Fixed build.xml leftovers after last merge