Sorry; I assumed no word meant no objections and I should go ahead. In any case this is a simple one: copyright problem, no real changes to the generated binaries. And I'll be happy with whatever you decide. --Barak.