Fixes for compiling the C programs on Linux.