Make set_pidfile() easier to use.