get sources from git via HTTP, to work around the zlib/gcc problem