./menhir-20130911.tar.gz already exists, skipping download
Getting http://gallium.inria.fr/~fpottier/menhir/menhir-20130911.tar.gz to ./menhir-20130911.tar.gz