Update run_tabspace.bat after the HashSet.cs removal.