A quick hack to convert some PNG tiles to JPG format.