NEWT port (work in progress, bad detection of OpenGL version on
Raspberry Pi, brutal exit, ...)