DBG: hopefully fix up waf location for good this time.