[mciarlo]

When this happens, I usually tell that user to make a new profile. I haven’t come across a fix (although I admittedly haven’t look very hard).