xv65: getpid and portable pid_t