Delete red.h