fix linux build error