Revert "Fix distcheck"

This reverts commit 71d0f5a6cc3a66662821ca30e00e5cc5b64f9c71.

I don't understand it.