Issue #64: handling of file updates