workaround for what appears to be a latent bug in cache-flusning SW