Fix incorrect path to cilantro/ui/core