Fixing benchmark.cpp for g++-4.6