s4-fault: changed to use %d for PID, instead of %PID%