Patch the server_pid_file variable too.