Preserve CONFIGURE_OPTS