Delete ctracer.h