FENNEL:  discriminate DatabaseHeader magic numbers for Windows (new one assigned) and Linux (remains the same)
FENNEL:  discriminate DatabaseHeader magic numbers for Windows
(new one assigned) and Linux (remains the same)

[git-p4: depot-paths = "//open/lu/dev/": change = 9186]

LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb