Use exec, so redis gets the correct PID in ./dev