fix compilation issue: missing include header