Add ext/dot.php as graphviz dot extension.