tools/mkkconfig.bat