main: use curl+tar for speed...