Add the phpseclib submodule.