add missing export symbol