Fixes getpid() not found