Use curl to fetch file size