fix compile error due to missing include