more travis-ci changes