Fix compilation in linux