php-pear-FSM can optionally use package "php-pear-Image_GraphViz"
