waf configure option for debuggable binaries