re-added orchestral/phpseclib repo replacement