microbenchmark not available in apt-get