INSTALL: Port fix