Tweak TravisCI configuration