Add de405 to setup.sh and make setup.sh rerunnable