minimal aux for 3.3-4.3; cleanup OpenGL.jl