Kraken: delete of old, useless file