Use specially-for-toolshelf-named distfiles.