Ask them to launch it from terminal, it might show some warnings and errors. It'll also show what GPU is in use(my guess some older intel or amd gpu, which may have some driver issues tends to be more common on windows but can be an issue under linux too).
As for 4.2.x I'm not sure but the api did go through some changes so you might need to adjust your project/code a bit.