fix linux build for missing getpid()