Update run_tabspace.bat for the new files.