Re: [PATCH] Fix make distcheck