Fix setup_dev.sh due to ansible changes