cast pid_t's to uintmax_t to improve portability