Delete hashtbl.h