Update tab.c and traiter.c
Fix comment in CMakeLists.txt
Bring back old names