Fix compilation on linux.