SSH2: fix E_DEPRECATED on PHP5.5