update INSTALL instructions for Mac OS X