Unfortunately, I don't think the HD 4000 has OpenGL support 4.2 in Linux. Maybe the Mesa 12 drivers added that, but this wiki page still lists 3.3. You can use glxinfo to check what version of OpenGL support your card/drivers have.

Mesa drivers are not officially supported, but check out the topic [LINUX] Running the game with Intel Iris Pro 5200

and maybe others such as

[LINUX] How to run the game with the open-source drivers for Radeons

[Linux] Game won't start!

[Linux] Segfault before game starts {RESOLVED}