Minor build.xml change...