Make dot_product benchmark work with more than 4 threads