reply
* Duktape python tooling is obsolete, migrate to JS-based tooling! *
$ python2 duktape-2.6.0/tools/configure.py --output-directory src-duktape \ -UDUK_USE_ES6_PROXY