Fixing the undocumented -dumpgraphbox option of coqdep.