Make generate_shaders.bat more robust.