Delete check_builtin.c~