Re: [PATCH] Fix compilation error