update travis script to avoid "exited with 134"
Merge branch 'travis-fix' into correct-min-values-representation