fix Benchtool