added ch.ethz SSH libraries