travis-ci tweak