Keeping shared files synchronized