fix post '2014-06-04-generating-better-animated-gif-from-mov-recorded-by-quicktime-player'