Do we add our mirror anywhere else if other_mirror is not defined?