(the waf version actually works, contrary to my former patch, as CONFIGURE_STYLE must be set before modules)