Proposal: new version of getModificationTime