Fix linux build error