On Jul 14, 2008, at 9:27 PM, Binger David wrote:

> "make universal_install".


Oops.  That should be "make install_universal".