Update and rename v18.js to v19.js