実行可能ファイルの名前を変更する
実行可能ファイル(MgRuntime.exe)のファイル名を変更する場合は、.configファイルの名前も同じように変更する必要があります。