+ time ./configure --prefix=/home/ecl/tmp/ubuntu64 --enable-ecl time: cannot run ./configure: No such file or directory Command exited with non-zero status 127 0.00user 0.00system 0:00.00elapsed ?%CPU (0avgtext+0avgdata 1376maxresident)k 0inputs+0outputs (0major+72minor)pagefaults 0swaps