git conversion: Delete old Benchmark code