INSTALL-osx tweaks