[#2276] use stat to retrieve fine-grained timestamp