Delete builtin.js