[PATCH] fix do_wait() vs exec() race