okay, I give up. krazy2 is just too buggy and randomly forgets files during each run.

Therefore I add an optional mode to determine licenses directly.
The disadvantage: it is slightly faster than krazy2:

krazy2: 9 min 48s
direct: 0 min 3s