Compilation fixes on Linux.