Improved the benchmarking logic: best version of SLX is not automatically detected before benchmarking and benchmark works even if SLX doesn't exist or ODEMx couldn't successfully be compiled.