Fix for coarse grained last-modified times on linux