Bugzilla – Bug 2894
waf can't handle paths with non-ascii characters
Last modified: 2018-03-07 10:15:53 EST
See: http://mailman.isi.edu/pipermail/ns-developers/2018-March/014345.html It appears to be an upstream bug: https://github.com/waf-project/waf/issues/429 Need to check whether more recent Waf fixes it, or whether we need a custom workaround for now.