Update and rename v12.js to v13.js