Fix duplicate symbol error