fix x-platform symbol export