travis-ci adjustments