./automaton-1.11-8.tar.gz already exists, skipping download
Getting http://www.brics.dk/~amoeller/automaton/automaton-1.11-8.tar.gz to ./automaton-1.11-8.tar.gz