Remove obsolete/faulty tvector
Rename tpvector to thread_safe_vector