Update redbase.cc

include "ix.h"