Fix windows build for kraken