adjust gen.bat to the changes in 7f765e70