Trivial: Minor build.xml change