After quite some searching on the Internet I finally found a solution: I had to install...
I downloaded glsdk_0_5_2 and tried to build the OpenGL SDK libraries. On Linux, here...