BUF: fixing the exports of symbols