Update envcov.sh