Файлы символов

Установил Debuging Tools. Нужны символьные файлы, но я нахожусь за прокси-сервером. Как быть?

... << RSDN@Home 1.2.0 alpha rev. 685>>

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: