duktape-0.12.0に差し替え