Fix some symbol export issues