Delete pti_hal.h