./cudd-2.5.0.tar.gz already exists, skipping download
Getting ftp://vlsi.Colorado.EDU/pub/cudd-2.5.0.tar.gz to ./cudd-2.5.0.tar.gz