graphviz doesn't work on the travis servers