BTW, for those running IE 8 64 bits, the File Transfer Manager doesn't work. I had to switch to the 32 bits version to download the file. I have found numerous pages on the net which confirms that. If someone has found a way to make it work, let me know.