Delete setup_dev.sh~