File: update modification time