Fix to make exported symbols work