Ah thanks, I completely missed that button. I just typed 'gif' in to my terminal and hit tab to see what I had installed, then read the manpage for the most favourable looking binary