accidentally deleted server/redis.conf from setup.py