[project] re-add armsoc to project options