Added libgif 32bit for linux (from debian 7.1).

Debian has a bug in their multilib where you cannot have 64 and 32 bit libgif present at the same time.