Delete tigerfly.h