There is an obvious problem, but I found out that you can
wget ".../tiki-download_file.php?fileId=xxx"
and you get the file correctly. I suspect a header problem.
fix is on the way.
Register at tiki.org and you'll be able to use the account at any *.tiki.org site, thanks to the InterTiki feature. A valid email address is required to receive site notifications and occasional newsletters. You can opt out of these items at any time.
;){kind=link}