Download MacPorts PortIndex when activated and not installed