Re: Use of GNU code in GPL OS