Update files for Travis CI