Add the automata package.