Fixed up the prefetch benchmark code significantly