Fixed file.timestamp output

File.timestamp was generating incorrect values
because it uses timer_to_time, which returns an 8 digit value
though there was only space (and a need) for 6 digits.
As a result, the upper bits of the time added to the lower bits of the
date, creating an odd mess.