Workaround for curl's outdated SSL CA certs

which is required for accessing GitHub via HTTPS