More specific connection to file name

It may not be obvious to new users at a glance which of the 64 bit versions the instructions are referring to.