tex: use pngs, they look better