Update benchmark.h

Otherwise does not compile on Centos due to redefinition of typedef