Slightly more conservative guess on file size