Re: [MacPorts] #14668: "make install" installs non-gzip-compressed "port.1"