Fixed a bug in the benchmarks for mosquitto.