Trying to track down & fix a bug in PHP's ssh2 library