Fix #3 of build.xml