Fix 'make distcheck' target

Last commit added a new file which was not added to `EXTRA_DIST`.
1 file changed