SCC-72: Downgraded to DevKit 3.5.1 for releasing