adjust gen.bat to the changes 7f765e70