Updated externals and used HTTPS for them