Update run_tabspace.bat.