Update agsdefns.sh