Thanks for your answer. As I already explained, I did those steps, got the answer suggested, but it did not fix the problem. That it "should have" is clear, but it did not. My ~/Library/Developer folder is empty. What further step is needed, is what I am asking in my post.
Topic:
Developer Tools & Services
SubTopic:
General
Tags: