Trying to fix Linux build.

*sigh*. Need to get a Linux box up and running. Annoying include file
differences.