Fix default prod port in INSTALL.md