Fix name of zeromq file