Addition of a header file for Linux (sys/wait.h)