fix console.log to show duktape pointers