Small update to Mac notes in INSTALL