Make logic benchmarks runner more portable