We pinpointed the problem to the following registry keys:
If there is one more folder with the name win32 it should be deleted.
The navigation and deletion of keys in the registry is possible through the regedit.exe tool that comes installed with windows.
Deleting registry keys can harm the functionality of your applications or even your whole system. This is why you should contact us if you are not comfortable with this process.