it's even worse. cert-sync creates /usr/share/.mono and populates it. So that location needs to be fixed too.