Need a way to export gifs at a higher resolution.