Use stored timestamp as modification time of updated files