Better PID file