add missing glGetCompressedTexImage stub