changed redis to redis-sharelatex