Conversion between different compressed and uncompressed OpenGL images