Как определить количество тиков анимированного GIF в секунду?

Я ищу способ определить (среднюю) частоту кадров анимированного GIF с использованием Linux. Кажется, что класс PHP Imagick обеспечивает эту функциональность, но я предпочитаю избегать установки тонны библиотек, чтобы заставить его работать.

http://www.php.net/manual/en/function.imagick-getimagetickspersecond. php

Есть ли простой способ сделать это?