Updates for Travis CI