more travis-ci cleanup