git url and not ssh for healpix submodule