Delete external.h