Update make_gifs (work for gifs >10 images)
Fix typo in glpk solver (TOP)