Update tools/install_dev_tools.sh