Delete tacode.h