Update redbase.cc