Could you try setting a breakpoint (or instrumenting the code) to see  
what profile_init is getting called with?  (The first argument is  
char **, points to a null-terminated list of string pointers.)

It should be a list of filenames; my hunch is somehow you've got the  
same file being used twice, or the same data in two files.  (They're  
merged, it's not using just the first one found.)  If you could show  
us the names and the files, that may help solve the problem...

Ken