This makes it easy to remove old distfiles with `git clean -f dist`.
Generated with
./configure --disable-mpers