Update devshelf.sh