convert jpg to ppm in TEXTURE_FILES