I'm not using any third-party software for my mouse. Does your friend use any Linux distro ? Because that's my case.
I am not sure but maybe thats the case. If we manage to find the issue we try to fix it.