Reboot did solve the issue on both machines. ( In one of them, which had a troublesome upgrade I had to remove virtual box as well, but I am not sure if that was really needed)
Reboot did solve the issue on both machines. ( In one of them, which had a troublesome upgrade I had to remove virtual box as well, but I am not sure if that was really needed)