Track file modification time separately from manifest modification time (part of addressing #78)