Port for Linux.

(jRAD) #421

At 403 posts, this thread has run its course several times over. Closing it now.