Take care: UserBenchmark 'relative index' now cannot be used to compare CPUs with more than 4 cores