fix build by not relying on un-merged timely changes#365

frankmcsherry merged 1 commit intoTimelyDataflow:masterTimelyDataflow/differential-dataflow:masterfrom

guswynn:fix-syncguswynn/differential-dataflow:fix-syncCopy head branch name to clipboard