Continuing to attempt proper installation of Ciao. Reinstalled one million times- installs fine without the "tools" binary, which includes all the necessary data modeling tools- when installing with the "tools" binary, testing ciao returns the error "cannot execute binary." Confused.