#345: updated travis.sh