recorder_name = (string)xmalloc(strlen(kpse_program_name) + strlen(pid_str) + 5); I knew I was forgetting something obvious. Thanks.