speed up and fix redis-server