#36: Renamed vmi_server to vmi-scheduler