coverage for pidfile