Sync with javascript-v8