Fix compilation on Linux