+ serverbench)
+ # TODO(rpolzer): Why does :anticheat: output differ? Total game time differs? Why?
+ verbose "$SELF" run "$@" -noconfig -nohome +exec serverbench.cfg |\
+ tee /dev/stderr |\
+ grep '^:' |\
+ grep -v '^:gamestart:' |\
+ grep -v '^:anticheat:' |\
+ md5sum
+ ;;