travis-ci run_tests script tweak