Delete full_hltexx.mk