Changes for Travis CI