Please don't just discard original `CONFIGURE_OPTS`.