Update for Travis CI (?)