До 3.5.5.0 тоже помогло бы. И, вы верно заметили, нужно было менять версию через заполнители.

Любая версия SPK Tools не рекомендуется к использованию, а версия 1.0.1 - прямо-таки категорически.

Да, все верно. Посмотрите документ СПК. Описание таргет-файлов (ссылка в подписи).