accounting for fact that Linux likes to flush