Оказывается, изменения кода не требуются; Я просто добавил правильные файлы в папку плагинов. Мне также пришлось переименовать другие имена папок плагинов, чтобы они оставались в порядке.
Итак, я добавил Flash Player v10 для Windows и Linux в flash switcher xpi , и те из вас, кто в этом нуждается, могут скачать его там. Это в 3-х частях почтового индекса.