Fix compilation on Linux.