add conflicts to old libsatsolver packages