Fix compilation error on Linux