GaloisInc/aterm-utils not found