./sync_repo up to r5234, 0.8.16 is out

414c2e1a-e8f2-11e3-813c-fefdb24f8e10