An update on the Linux build:
I had planned to stick to 32-bit Linux for compatibility... but for now I might just post a 64-bit build. My old laptop has a hardware fault that makes it crash often, so I created a new Ubuntu VM on my desktop. However, my CPU doesn't have virtualization support so it runs horribly slow (e.g. mandb takes 10 minutes - really). I had problems with 32-bit builds on 64-bit Linux a while ago, but that'd be worth a try again. Ugh.