Philippe 07/03/2019: IO bugfix: io_set_mnhversion must be called by all the processes