Re: [PATCH] 21.1.2: fix "file has changed on disk" problem on Linux