ただ，よくよく考えてみたら普通の人は Command Line Tools をインストールしていないはずなので，正直どのタイミングでこういうバックデプロイ用の動的ライブラリが配信されるのかよくわかっていないです．