Yes, that workaround appears to work. Thanks!
Topic:
Developer Tools & Services
SubTopic:
Xcode
Tags: