Delete executor.h