Work-around #3 solved the problem for me. Thanks!
https://askubuntu.com/a/840567 explains very well the question.
Work-around #3 solved the problem for me. Thanks!
https:/ /askubuntu. com/a/840567 explains very well the question.