Update repository for Travis CI