Workaround for low clock resolution problem of `getModificationTime` + other fixes