travis-ci: cleanup