Dear Craig, Thanks for your reply. I will look into the update-alternatives idea as well as a cursory look at Debian packaging. I'm not encouraged though by your comment regarding Deb packaging documentation :-) Cheers, Denis