Is it halal in Islam to use software with images of animals like Firefox web browser or Thunderbird?

There are also some software components named after other religions' symbols or even gods - Pantheon desktop, Cerbere, Apollo, Pandora, etc. or some evil named software like Bluedevil.

What does our Sharia say about using them?