Rename bst.c.txt