pletzer
diff --git a/‎fidibench_gcc_intel.def‎ renamed to ‎fidibench_gcc_openmpi.def‎ b/‎fidibench_gcc_intel.def‎ renamed to ‎fidibench_gcc_openmpi.def‎