Added some options to build-dev.sh