Synced flush APIedit

The synced flush API has been removed. Use the flush API instead. A regular flush has the same effect as a synced flush in 7.6 and later.