Fix compilation on linux