Change default of "obfuscate private" to match the old behavior (so settings don't break)
Only read the symbol info from a file if we regenerate it