[Vm-dev] VM Maker gcc options