Fixed strcmp and make_sob_symbol