fix the undefined symbol