E-junkie compares the length of filename of the uploaded file (excluding the extension) and name of the product and uses the shorter one to determine the name of the downloaded file. In your case, when we use the 'x•setup.exe', browser most likely balks at • character and truncates the name to x.exe.