The file vc_redist.x64.exe was downloaded from
https://www.microsoft.com/en-us/download/details.aspx?id=48145.
