To simplify source management it would be better to move the generated `env.bat` from the git controlled `auto` folder.
To simplify source management it would be better to move the generated
env.batfrom the git controlledautofolder.