Just remove the whole tvector.py file