Some ease-of-use improvements to develop.sh