hm, I'm not sure why that's happening! Maybe something with the html export. I might try to add a linux download sometime this weekend.
