A few months ago, I happened to see that someone was having problems with the Linux build. Between other projects, I looked into it, and I can't seem to reproduce it. I'll look into tracking down another Linux machine to see if that helps, but unless someone pops up with the same issue, it's going to be low priority.