minor, added flush point for file dumps