main: check size of download vs. archive; fixes #40