fixed wrong script syntax
Upgraded DESTECS to match overture.

sync required

overturetool/overture@88ff4e3c2fe977c1ce6b907b94f77c82942e22ac