tweak travis-ci