Update install-mica_dev.sh