Update builtin.js