Does anybody know how to rescale a Gerber file (on Linux, preferably)? I have some Gerbers that need to be 4x bigger than they are, and clean enough that BatchPCB will make them without too much hassle. Any help? Thanks, dave m.