Fix issue #54: skip download if server file size is smaller