Convert gif file with .png extension to a real png file.