bugfix: wrong travis ant settings