Symbol: set_pidfile