Use CURL to get filesize on 32bit systems.