I'm seeing double.

libc/sysdeps/linux/common/waitpid.c

@@ -6,7 +6,6 @@
 
 #include <stdlib.h>
 #include <sys/types.h>
-#include <sys/types.h>
 #include <sys/wait.h>
 #include <sys/resource.h>