fixup mistake in build.xml, leftover from testing for travis-ci