Took a long time and a good bit of work, but linux 64 is now available again. Let me know if you run into issues.
