If `ENABLE_XXX` was set by the ABI, this will add the option twice.