add missing include file

The build broke because this was missing...