Update devine.sh