Delete redbase.h~