Lesson learned: with @QubesOS an RC1 is really an RC1 and updating can be a bitch. But I have now a working system again - with 3.2 RC1