Changed requested version of phpseclib