Minor fix in linux.cc