/* Linux has waitpid(), so override the generic unix version. */ #include