Kraken: remove unwanted cout