Add a detail to OSX build instructions in doc/INSTALL.