[PATCH] Add forgotten files to EXTRA_DIST