Actually pick a mixpanel version.