Update build.xml

really hacky, hope this works on travis...