issue #5281: rename GLProgramCache to ShaderCache