this fixes #294
new revision
force potentially bad mirrors to be flushed