Re: [DVDnav-discuss] [PATCH] fix a memory leak