at the end of waf configure, when displaying selected options, break backend settings...