Fix compilation error on linux.