[PATCH] Fix a bad use of WIFSIGNALED