Convert splash image to gif and store eps as well (for future use).