wgtpkg-install: choose the port