switch back to openSUSE-12.3 as the default os