IMHO gratuitous cleanups aren't a good idea unless you fully intend to take on ownership of crosstool for good. Otherwise, the renames make it too hard to apply patches (as you found out). -- For unsubscribe information see http://sourceware.org/lists.html#faq