Fixed 64 bit bug: void pointers are 8 bytes long but there are still only
4 bytes per pointer in the DB files.