Coinst: we were missing some non coinstallable sets...