Better file synchronization statistics (see #4908)