Remove benchmark progs for now, they will be reintroduced later.