Move to using the current code from Mixpanel's own repo, discarding our old fixes.