Guard the calls to mps_io_flush so that it can only be called after mps_io_create.