El CapitanにアップデートするとTEPLAをインストールできなくなる件について. /usr/local/にGMPライブラリやOpenSSLをインストールしていると,新しいOSではコンパイルの際includeファイルなど探索しなくなる.