add ManualNameMangling.cpp, SpecialSymbol.c, pthread.c