0.3.8: change gif encoder