change gif to png to please the gif-taliban (LaTeX)