Update the DebugLog batch file so it works with the new command-line option.