Hello, and thanks for your answer. Meanwhile another person had popped up with the same problem, and it seems to be related to ubuntu updates causing the problem:
I’ve followed that solution and it works so far, but don’t know if this has any drawbacks…