small fix in linux build