Honour USE_TOOLSHELF when cloning distrepos, too.
It's all "commit first, ask questions later" today, isn't it.