Karl, I should have added that I ran “make test” for both the universal-darwin asy and the x86_64-darwin asy, checking first that the active asy was the new one. All tests were passed. Dick