mixpanel: just always use the mixpanel id where available