Switch to storing redis pid file in /tmp