update
* run-travis.sh: fix batch option