[Bug 206431] time stamp of mmaped file not updated