Patch to graphics driver for scaling in vertical direction of pTeX
