Some minor cleaning up.

xcodebuild used to always generate an error message, even though
everything was fine. However, now, there is no such message anymore
(!?), so…