Kraken: add cast for old boost version