Distributed file synchronization