Comment by jonatanheyman

I configured the Linux builds yesterday, and I don't personally run Linux on any desktop machine, but I'll look into it!