I fixed it by installing the latest version from the website. I just installed it over the buggy version.
I'll check tomorrow morning if the reboot solved the problem for my friend.
We are both on Windows 10. My bild now, after the install is v.3.1.1, Build 3176.
I will post an update when I get back to work tomorrow.