added EXTRA_CONFIGURE_ARGS