[tor-commits] [orbot/master] fixing build.xml for CI server