EXTRA_DIST = update_oldconfig