Implement milliseconds time resolution for lastModified on Linux and Android