Fix compilation error on Linux.