Update build-ccl-acl2h.sh

Changing a build target to something shorter