Fix default port for production in INSTALL-OSX.md