adapt capability strings to changed satsolver dep2str