This was fixed by a variant of the standard troubleshooting procedure in https://answers.launchpad.net/ubuntu/+question/171991, and this thus probably not a bug.
This was fixed by a variant of the standard troubleshooting procedure in https:/ /answers. launchpad. net/ubuntu/ +question/ 171991, and this thus probably not a bug.