Delete builtin.html~