write_pid_file(): Rename pidfile to pid_file