Enhance INSTALL document, especially for Mac OS X