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

...old fixes.