I fixed Gifsicle interface: I think this was a copy & paste mistake.

I added also the "-b" option, such that the output of gifsicle is put back into the provided file.