Benchmark: fix case sensitivity when checking hostname

Dr. Jorrit Fahlkerequested to merge
fix-bench-agamemnon-case-sensitivity into master

Apparently, hostname on agamemnon returns AGAMEMNON, in true WWU style...

Merge request reports