Okay, I've improved now the get-orig-source target with a shellscript that works for me. I hope it does work for you as well :) -- Gruesse/greetings, Reinhard Tartler, KeyID 945348A4