Unused redefs.h deleted