New function make_pidfile_name().