[PATCH] preempt race in getppid