#121: ssh2_execute to use phpseclib