[PATCH] Fix "make distcheck"