updated mainHappy.gif to be an actual gif