fix the redis server for travis