On 4/2/2022, since I had trouble compiling graphviz though it worked in the
past, I degraded from the 2.48 graphviz used before to the version available
in apt for Ubuntu 20.4, which is 2.43.0.