Fix pragma nosymbolcase interaction with -D Actually make --pragma=nosymbolcase flag symbols defined subsequently on the command line as not being case sensitive. Otherwise, things don't behave quite as expected. There is still a gotcha in that if the -D appears before the --pragma option, the symbol will still be case sensitive.