add missing include file (did not compile on linux)