ondrik/automata-benchmarks not found