And now we are at it with questions I might as well throw in another one: From the wording of the wiki it seems that there is no flasher-3.5 for linux 64 bit. Is this correct?