This reverts commit 18ef22df8eee4d07fadc24dbfa798fa23873a7af [formerly a5964bb434c298b7791541daf4af91aa5b265c40]. I am a big idiot - fixing EXTRA_DIST doesn't help once the tarball already exists Former-commit-id: 5b34b67bbb583467e4a6e63bc3822f4db94e7f67