fix compile error due to missing header file