src/check_symbols: More work around and fixes for symbol detection.