Steven-Adriaensen

It turns out that this failure also sometimes occurs on other OS (resource limit call fails)

Things to try / possible solutions: At install time: - check whether adding resource can cause failure on windows / mac - check whether we can store what benchmarks are...