Update tools_used.txt