Fix Travis CI load of redis