We can reuse the nice <code>_get_pid_files</code>, yes?