horst: Use https tar.gz instead of git download