[PATCH] Fix make distcheck