Minor fix. Undo changes I made to toolrunner.bat .