wtvenc: simplify write_timestamp