deleted dev_ctools-installer.sh