Win32 launcher: Fix download file name for custom folder (bug 1617)
tree379b1b9c9541125f86011b3359e4eb552f75510b
drwxr-xr-x - .tx
-rw-r--r-- 35147 COPYING
-rw-r--r-- 138 MANIFEST.in
-rw-r--r-- 10353 README
drwxr-xr-x - bin
-rw-r--r-- 4946 makefile
drwxr-xr-x - po
-rw-r--r-- 7432 setup.py
drwxr-xr-x - share
drwxr-xr-x - src
drwxr-xr-x - tools