add gif to imagefiles, html5 output