Delete hex_extractor.h