Don't try to create two EXTRA_DIST entries, that won't work