Switch pid_t to be defined as int rather than void*