Fixes bug in build.xml introduced in last commit