HOpenGL and --enable-threaded-rts