Tag: how to install a benchmark on linux