Fixup: GL_AMD_gpu_shader_int64 reuses NV_gpu_shader5 interface.
Merge branch 'master' into subset