The latest version of ACE (tag version ACE-00-01-02) has made it into COOL v2.5.0. This is a minor update which removes the remaining dependency on a SEAL package and corrects a potential problem with 32/64 bit unsigned integer representation.
Refer to the Download section to learn how to try it out or upgrade to it.