Fix Travis CI config on master