Update rivetjs-stdlib.js