improved debug_symbols_available()