Make "duktape" the default javascript backend