fixed an error in install4dev.sh