travis-ci: broken again