dlogik/vision-automata not found