Fix compilation on linux, again...