Use HTTPS for Eggert submodule.