fix compiling error caused by missing include