Fixed a few bashisms and made xeno explicitly use SSH clone URLs.