Update concerning the bug with phpseclib