結局、cmake-coreのビルドがこけた(当該環境内では再現性あり)理由も、なおった理由もわからん。あちこちいじったからな...。