Fix compilation problem in linux