Update install_other_tools.txt