Update build-ccl-acl2h.sh