ATTENTION : soyez sûr que la version de libgif-dev soit supérieure ou égale à 5. Sinon, supprimez libgif-dev et installez la librairie à partir des sources :
https://sourceforge.net/projects/giflib/
by making:
./configure
make
sudo make install