Kraken: delete of old, useless file
Merge pull request #310 from antoine-de/clean_useless_file

Kraken: delete of old, useless file