Re: [PATCH] Fix "make distcheck"