Minor portability fix in benchmark On embedded systems, argc might be 0 rather than 1 for no argument.