fix iptux manifest