> ftp://ftp.gmu.edu/eiffel/ftp.eiffel.com/pub/download/57/Eiffel57_gpl_64493-freebsd-x86-64.tar.gz ok