(Though I guess then we have the same problem, but where we need a bootstrapping pex from somewhere to build pants)