Minor clean up of build.xml

Just minor nitpicks.