tweaks in the exports behavior to account for ulib built with extracted interfaces flag off
tweaks in the exports behavior to account for ulib built with extracted interfaces flag off

FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar