Should eliminated players produce drillers?

I can't find anything in the rules. But the time machine is showing me an eliminated player building up drillers.
SUBTERFUGE game community
http://forums.subterfuge-game.com/
stefan wrote:I know it seems weird that an eliminated empire still produces drillers, but it's better for the game balance.
kinc4id wrote: I always imagine the ruler of the empire told his factories: "Produce drillers as fast as possible end never rest, we are at war!" And so they do, dedicating every single minute they are not eating or sleeping in keeping up the factories, maybe not even knowing their empire already broke down. Poor guys.