file modification timestamp in file representation class