A network file distribution/synchronization utility