Não há necessidade de ferramentas adicionais. O OS X possui sips , que pode converter imagens em (quase) qualquer formato.
Por exemplo, para converter cada .gif para .jpeg , colocando-os em uma pasta chamada jpegs :
mkdir jpegs
sips -s format jpeg ./*.gif --out jpegs
Ou, para convertê-los recursivamente usando find , que colocará um arquivo JPEG com o mesmo nome do GIF próximo a ele.
find . -iname "*.gif" -type f -exec sh -c 'sips -s format jpeg "$0" --out "${0%.gif}.jpeg"' {} \;