Kraken: remove unwanted cout
Merge pull request #716 from antoine-de/remove_cout

Kraken: remove unwanted cout