Williarob said:

It was green in '77, but revised when the telecines were created for home video. Then we watched it this way for the next 35 years so that’s how we expect it to look - interestingly, the 35mm 1997 SE print has the same revised color timing on this shot as the home video releases:

But it wasn’t like that in Theaters:

(1978 Swedish bootleg)
When you correct this image for the black levels, the green goes away and the set looks gray with yellow discoloration. Definitely more yellow to this image than green. And the Technicolor samples I have match this trend when you correct for the black levels and account for the known green hue. I think the 35mm scans should be greenish, I just think they are far too green.