Correct size of tiobench profile