Re: [PATCH] Fix build