Sorry, but update III: re-generating the deb package from source (dpkg-buildpackage -us -uc -nc) and then installing the generated debs made it work again, as expected.
Sorry, but update III: re-generating the deb package from source (dpkg-buildpackage -us -uc -nc) and then installing the generated debs made it work again, as expected.