Deleted ht_noprints.h