Fix linux build

Just a warning