sletz Fix benchmark tools.