Fixup: GL_AMD_gpu_shader_int64 reuses NV_gpu_shader5 interface.