should mark-c-function be removed or conditionalized in big-menubar? [was: finding the function mark-c-function]