[MacPorts] #48530: ACL2 fails to build