Fix compilation in Linux.