Fixed symbol export

That's needed for baabd1192973156ac79c35f6d1b0dced4af8e8fb to link
properly.