Fix compilation for Linux.