As I recall, what they did was shoot the background, then shoot
individual shots of the actors, and they may have put them all together later.
Don't know if a single was shot of all of 'em or not.

jms