dev_setup.sh in README