Update setbuiltin.txt