Fixed a duplicate symbol/compilation problem