Make travis-ci work again