fixed missing include file (it was not committed in the last commit)