Comment 19 for bug 1015362

@Sebastian Fleer: Thanks a lot!
#17 worked for me after I tried all other possibilities I could think of / listed here (other than throwing away my entire configuration)
And the previously installed extensions were not lost either :-)