Update veralite.js