option would fail to read the timestamp files.
Looked into making it 64 bit clean, but it is hopeless. Added little program to convert from the old timestamp files into the new ones.