SmCroco/DoubleArrayTrie not found