Проблема решается просто. На 4.12.2 ставим 4.12.1, а потом снова 4.12.2..и вуаля!