Update and rename v8.js to v9.js