Renamed benchmark_dotprod to benchmark_dotprod_fff (which it really was).