Fixes #5835: eventlog file format migration from 5 to 6