update travis script to avoid "exited with 134"
Merge branch 'travis-fix' into fix-80