[BUGFIX] Flushing workspace version should also modify t3ver_tstamp