fix compiling error: missing the header file