After updating to the current git head, I have to make the following
changes for latex image generation to work.