Renaming the ZeroMQ benchmarks.