Handle FILE_UPDATE in with-block