waf and c++11, again