distribution/script/setup/install-dev-tools