Added change originally made by DWD
Added change originally made by DWD

I really don't understand why this change was made.

the

 #define GETC(SC) __fgetc_unlocked((SC)->fp)

also seems very pointless because in the default .config this
code is not even touched because __UCLIBC_HAS_WCHAR__ is defined.

ChickenRunjyd/klee-uclibc,klee/klee-uclibc,ChickenRunjyd/klee-uclibc,klee/klee-uclibc,klee/klee-uclibc,ChickenRunjyd/klee-uclibc,klee/klee-uclibc,ChickenRunjyd/klee-uclibc