kraken: add forgotten include