some changes in build.xml for the travis purpose