Fix compilation warning on Linux