redox/dk.brics.automaton not found