Updated PHP SSH library.