#31: add file-modification flag